Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
Parsing Safetensors File Format in C
leetarxiv.substack.com·17h·
Discuss: Substack, r/programming
✅Format Verification
Reflections on OpenAI
simonwillison.net·15h
🚀Indie Hacking
Compressed data structures for Heegaard splittings
arxiv.org·5h
🕳️Persistent Homology
Re-implementing the Nix protocol in Rust
tweag.io·1d·
Discuss: Hacker News
🔒Linear Types
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Bazel Knowledge: Beyond _deploy.jar for OCI images
fzakaria.com·5h
🔌Interface Evolution
Python Fundamentals: bson
dev.to·1d·
Discuss: DEV
🔐CBOR
A Rust shaped hole
ente.io·2d
🦀Rust Macros
The C3 Programming Language
c3-lang.org·8h·
Discuss: Hacker News
💧Liquid Types
Janet Feature Demos
github.com·2h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Helix Editor Release 25.07 Highlights
helix-editor.com·13h·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·9h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·3h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
The Best C++ Library
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·17h
🌳Context free grammars